Functions and mappings - PDFSEARCH.IO - Document Search Engine

Functions and mappings
Results: 2485

#	Item
181	10th International Command and Control Research and Technology Symposium Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2006-10-08 06:39:48 Mathematics Functions and mappings Mathematical logic Interval Order theory Topology Graph of a function Function Representation
182	MATHEMATICAL ENGINEERING TECHNICAL REPORTS Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Add to Reading List Source URL: www.keisu.t.u-tokyo.ac.jp Language: English - Date: 2007-07-24 03:01:52 Functions and mappings Mathematics Mathematical analysis Analysis Partial function Bidirectional transformation Derivative Combinatory logic Injective function Transformation Bidirectionalization Data transformation
183	Linear process algebra Vaughan Pratt Stanford University, Stanford CA, USA Abstract. A linear process is a system of events and states related Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-09-20 03:50:07 Algebra Mathematics Linear algebra Abstract algebra Transformation Functions and mappings Chu space Topology Linear map Vector space Algebra over a field Isomorphism
184	Eureka Math™ Homework Helper 2015–2016 Precalculus Module 1 Lessons 1–30 Add to Reading List Source URL: greatminds.net Language: English - Date: 2015-09-11 15:06:25 Functions and mappings Elementary algebra Linear algebra Complex number Linearity Equation Precalculus Linear map Mathematical fallacy Function Matrix Calculus
185	Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of Add to Reading List Source URL: publications.lib.chalmers.se Language: English - Date: 2010-06-21 11:04:54 Software engineering Declarative programming Mathematics Type theory Functional programming Functions and mappings Polymorphism Computability theory Parametricity Auxiliary function Currying Functor
186	A categorical and graphical treatment of closure conversion Ralf Schweimeier, University of Sussex Alan Jeffrey, University of Sussex and DePaul University COGS, University of Sussex Brighton BN1 9QH, UK CTI, DePaul Univ Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:33 Software engineering Declarative programming Lambda calculus Computer programming Functions and mappings Subroutines Functional programming Charts Graph of a function Closure Function Lambda lifting
187	Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Lambda calculus Combinatory logic Logic in computer science Computability theory Functions and mappings Formal methods Monad Derivative Trace
188	3D Geometry for Panorama Jianxiong Xiao Massachusetts Institute of Technology Abstract x Add to Reading List Source URL: vision.princeton.edu Language: English - Date: 2013-09-03 00:01:27 Geometry Mathematics Analytic geometry 3D computer graphics Functions and mappings Map projections Cameras Pinhole camera model Conference on Computer Vision and Pattern Recognition Projection Coordinate system 3D reconstruction
189	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:31 Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic
190	The roles that artefacts play: Add to Reading List Source URL: www-edc.eng.cam.ac.uk Language: English - Date: 2013-04-03 15:22:38 Logic Function Interpretation Static single assignment form Mathematics Mathematical logic Functions and mappings

UPDATE